Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems

Dynamic Binary Translation (DBT) requires the implementation of load-link/store-conditional (LL/SC) primitives for guest systems that rely on this form of synchronization. When targeting e.g. x86 host systems, LL/SC guest instructions are typically emulated using atomic Compare-and-Swap (CAS) instructions on the host. Whilst this direct mapping is efficient, this approach is problematic due to subtle differences between LL/SC and CAS semantics. In this paper, we demonstrate that this is a real problem, and we provide code examples that fail to execute correctly on QEMU and a commercial DBT system, which both use the CAS approach to LL/SC emulation. We then develop two novel and provably correct LL/SC emulation schemes: (1) A purely software based scheme, which uses the DBT system’s page translation cache for correctly selecting between fast, but unsynchronized, and slow, but fully synchronized memory accesses, and (2) a hardware accelerated scheme that leverages hardware transactional memory (HTM) provided by the host. We have implemented these two schemes in the Synopsys DesignWare® ARC® nSIM DBT system, and we evaluate our implementations against full applications, and targeted micro-benchmarks. We demonstrate that our novel schemes are not only correct, but also deliver competitive performance on-par or better than the widely used, but broken CAS scheme.Postprin

Mitigating JIT Compilation Latency in Virtual Execution Environments

Many Virtual Execution Environments (VEEs) rely on Justin-time (JIT) compilation technology for code generation at runtime, e.g. in Dynamic Binary Translation (DBT) systems or language Virtual Machines (VMs). While JIT compilation improves native execution performance as opposed to e.g. interpretive execution, the JIT compilation process itself introduces latency. In fact, for highly optimizing JIT compilers or compilers not specifically designed for JIT compilation, e.g. LLVM, this latency can cause a substantial overhead. While existing work has introduced asynchronously decoupled JIT compilation task farms to hide this JIT compilation latency, we show that this on its own is not sufficient to mitigate the impact of JIT compilation latency on overall performance. In this paper, we introduce a novel JIT compilation scheduling policy, which performs continuous low-cost profiling of code regions already dispatched for JIT compilation, right up to the point where compilation commences. We have integrated our novel JIT compilation scheduling approach into a commercial LLVM-based DBT system and demonstrate speedups of 1.32× on average, and up to 2.31×, over its state-of-the-art concurrent task-farm based JIT compilation scheme across the SPEC CPU2006 and BioPerf benchmark suites.Postprin

Prolactin-sensitive olfactory sensory neurons regulate male preference in female mice by modulating responses to chemosensory cues

Chemosensory cues detected in the nose need to be integrated with the hormonal status to trigger appropriate behaviors, but the neural circuits linking the olfactory and the endocrine system are insufficiently understood. Here, we characterize olfactory sensory neurons in the murine nose that respond to the pituitary hormone prolactin. Deletion of prolactin receptor in these cells results in impaired detection of social odors and blunts male preference in females. The prolactin-responsive olfactory sensory neurons exhibit a distinctive projection pattern to the brain that is similar across different individuals and express a limited subset of chemosensory receptors. Prolactin modulates the responses within these neurons to discrete chemosensory cues contained in male urine, providing a mechanism by which the hormonal status can be directly linked with distinct olfactory cues to generate appropriate behavioral responses

Ovulation is triggered by a cyclical modulation of gonadotropes into a hyperexcitable state

Gonadotropes in the anterior pituitary gland are essential for fertility and provide a functional link between the brain and the gonads. To trigger ovulation, gonadotrope cells release massive amounts of luteinizing hormone (LH). The mechanism underlying this remains unclear. Here, we utilize a mouse model expressing a genetically encoded Ca2+ indicator exclusively in gonadotropes to dissect this mechanism in intact pituitaries. We demonstrate that female gonadotropes exclusively exhibit a state of hyperexcitability during the LH surge, resulting in spontaneous [Ca2+]i transients in these cells, which persist in the absence of any in vivo hormonal signals. L-type Ca2+ channels and transient receptor potential channel A1 (TRPA1) together with intracellular reactive oxygen species (ROS) levels ensure this state of hyperexcitability. Consistent with this, virus-assisted triple knockout of Trpa1 and L-type Ca2+ subunits in gonadotropes leads to vaginal closure in cycling females. Our data provide insight into molecular mechanisms required for ovulation and reproductive success in mammals

Bitter taste cells in the ventricular walls of the murine brain regulate glucose homeostasis

The median eminence (ME) is a circumventricular organ at the base of the brain that controls body homeostasis. Tanycytes are its specialized glial cells that constitute the ventricular walls and regulate different physiological states, however individual signaling pathways in these cells are incompletely understood. Here, we identify a functional tanycyte subpopulation that expresses key taste transduction genes including bitter taste receptors, the G protein gustducin and the gustatory ion channel TRPM5 (M5). M5 tanycytes have access to blood-borne cues via processes extended towards diaphragmed endothelial fenestrations in the ME and mediate bidirectional communication between the cerebrospinal fluid and blood. This subpopulation responds to metabolic signals including leptin and other hormonal cues and is transcriptionally reprogrammed upon fasting. Acute M5 tanycyte activation induces insulin secretion and acute diphtheria toxin-mediated M5 tanycyte depletion results in impaired glucose tolerance in diet-induced obese mice. We provide a cellular and molecular framework that defines how bitter taste cells in the ME integrate chemosensation with metabolism

Bitter taste signaling in tracheal epithelial brush cells elicits innate immune responses to bacterial infection

Constant exposure of the airways to inhaled pathogens requires efficient early immune responses protecting against infections. How bacteria on the epithelial surface are detected and first-line protective mechanisms are initiated are not well understood. We have recently shown that tracheal brush cells (BCs) express functional taste receptors. Here we report that bitter taste signaling in murine BCs induces neurogenic inflammation. We demonstrate that BC signaling stimulates adjacent sensory nerve endings in the trachea to release the neuropeptides CGRP and substance P that mediate plasma extravasation, neutrophil recruitment, and diapedesis. Moreover, we show that bitter tasting quorum-sensing molecules from Pseudomonas aeruginosa activate tracheal BCs. BC signaling depends on the key taste transduction gene Trpm5, triggers secretion of immune mediators, among them the most abundant member of the complement system, and is needed to combat P. aeruginosa infections. Our data provide functional insight into firstline defense mechanisms against bacterial infections of the lung

Dark sectors 2016 Workshop: community report

This report, based on the Dark Sectors workshop at SLAC in April 2016, summarizes the scientific importance of searches for dark sector dark matter and forces at masses beneath the weak-scale, the status of this broad international field, the important milestones motivating future exploration, and promising experimental opportunities to reach these milestones over the next 5-10 years

Bitter taste cells in the ventricular walls of the murine brain regulate glucose homeostasis.

peer reviewedThe median eminence (ME) is a circumventricular organ at the base of the brain that controls body homeostasis. Tanycytes are its specialized glial cells that constitute the ventricular walls and regulate different physiological states, however individual signaling pathways in these cells are incompletely understood. Here, we identify a functional tanycyte subpopulation that expresses key taste transduction genes including bitter taste receptors, the G protein gustducin and the gustatory ion channel TRPM5 (M5). M5 tanycytes have access to blood-borne cues via processes extended towards diaphragmed endothelial fenestrations in the ME and mediate bidirectional communication between the cerebrospinal fluid and blood. This subpopulation responds to metabolic signals including leptin and other hormonal cues and is transcriptionally reprogrammed upon fasting. Acute M5 tanycyte activation induces insulin secretion and acute diphtheria toxin-mediated M5 tanycyte depletion results in impaired glucose tolerance in diet-induced obese mice. We provide a cellular and molecular framework that defines how bitter taste cells in the ME integrate chemosensation with metabolism

Bitter taste signaling in tracheal epithelial brush cells elicits innate immune responses to bacterial infection.

peer reviewedConstant exposure of the airways to inhaled pathogens requires efficient early immune responses protecting against infections. How bacteria on the epithelial surface are detected and first-line protective mechanisms are initiated are not well understood. We have recently shown that tracheal brush cells (BCs) express functional taste receptors. Here we report that bitter taste signaling in murine BCs induces neurogenic inflammation. We demonstrate that BC signaling stimulates adjacent sensory nerve endings in the trachea to release the neuropeptides CGRP and substance P that mediate plasma extravasation, neutrophil recruitment, and diapedesis. Moreover, we show that bitter tasting quorum-sensing molecules from Pseudomonas aeruginosa activate tracheal BCs. BC signaling depends on the key taste transduction gene Trpm5, triggers secretion of immune mediators, among them the most abundant member of the complement system, and is needed to combat P. aeruginosa infections. Our data provide functional insight into first-line defense mechanisms against bacterial infections of the lung